大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Bernhard Walter 的图书(共801本)

Classical Geometries in Modern Contexts [electronic resource] : Geometry of Real Inner Product Spaces

0
索取号：
作者：Benz、 Walter.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Chemokine Biology - Basic Research and Clinical Application [electronic resource] : Volume I: Immunobiology of Chemokines

0
索取号：
作者：Moser、 Bernhard.、Letts、 Gordon L.、Neote、 Kuldeep.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2006.

Contributions to Nonlinear Analysis [electronic resource] : A Tribute to D.G. de Figueiredo on the Occasion of his 70th Birthday

0
索取号：
作者：Cazenave、 Thierry.、Costa、 David.、Lopes、 Orlando.、Man谩sevich、 Ra煤l.、Rabinowitz、 Paul.、Ruf、 Bernhard.、Tomei、 Carlos.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2006.

Introduction to Computational Biology [electronic resource] : An Evolutionary Approach

0
索取号：
作者：Haubold、 Bernhard.、Wiehe、 Thomas.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2006.

St. John's Wort and its Active Principles in Depression and Anxiety [electronic resource]

0
索取号：
作者：M眉ller、 Walter E.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Alcohol and Tobacco [electronic resource] : Medical and Sociological Aspects of Use, Abuse and Addiction

0
索取号：
作者：Lesch、 Otto Michael.、Walter、 Henriette.、Wetschka、 Christian.、Hesselbrock、 Michie N.、Hesselbrock、 Victor.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2011.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号：
作者：H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Scalable Uncertainty Management [electronic resource] : 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Link、 Sebastian.、Fober、 Thomas.、Seeger、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、Damiani、 Ferruccio.、Gurov、 Dilian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

0
索取号：
作者：Gramlich、 Bernhard.、Miller、 Dale.、Sattler、 Uli.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Condition Monitoring of Machinery in Non-Stationary Operations [electronic resource] : Proceedings of the Second International Conference "Condition Monitoring of Machinery in Non-Stationnary Operations" CMMNO鈥ⰱ2

0
索取号：
作者：Fakhfakh、 Tahar.、Bartelmus、 Walter.、Chaari、 Fakher.、Zimroz、 Radoslaw.、Haddar、 Mohamed.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Living in a Seasonal World [electronic resource] : Thermoregulatory and Metabolic Adaptations

0
索取号：
作者：Ruf、 Thomas.、Bieber、 Claudia.、Arnold、 Walter.、Millesi、 Eva.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

0
索取号：
作者：D眉sterh枚ft、 Antje.、Klettke、 Meike.、Schewe、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Synthetic Biodegradable Polymers [electronic resource]

0
索取号：
作者：Rieger、 Bernhard.、K眉nkel、 Andreas.、Coates、 Geoffrey W.、Reichardt、 Robert.、Dinjus、 Eckhard.、Zevaco、 Thomas A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.